package com.example.dormitorymanagement.repository;

import com.example.dormitorymanagement.model.Student;
import org.springframework.data.jpa.repository.JpaRepository;
import org.springframework.stereotype.Repository;

import java.util.List;
import java.util.Optional;

@Repository
public interface StudentRepository extends JpaRepository<Student, Integer> {

    // 根据学号查询学生
    Optional<Student> findByStudentId(Integer studentId);

    // 根据姓名模糊查询学生
    List<Student> findByNameContainingIgnoreCase(String name);

    // 根据院系查询学生
    List<Student> findByDepartment(String department);

    // 检查学号是否已存在
    boolean existsByStudentId(Integer studentId);
}